37 results
An addendum
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 2 / June 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. 154-156
- Print publication:
- June 1963
-
- Article
- Export citation
Disjunction and existence under implication in elementary intuitionistic formalisms
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 11-18
- Print publication:
- March 1962
-
- Article
- Export citation
Alonzo Church. Introduction to mathematical logic. Volume I. Second printing. Princeton University Press, Princeton1958, x + 378 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 3 / September 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 362
- Print publication:
- September 1958
-
- Article
- Export citation
E. W. Beth. Semantic construction of intuitionistic logic. Mededelingen der Koninklijke Nederlandse Akademie van Wetenschappen, Afd. Letterkunde, n.s. vol. 19 no. 11 (1956), pp. 357–388.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 363-365
- Print publication:
- December 1957
-
- Article
- Export citation
A. M. Turing. Solvable and unsolvable problems. Science news (Penguin books, Melbourne–London–Baltimore), no. 31 (1954), pp. 7–23.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 1 / March 1955
- Published online by Cambridge University Press:
- 12 March 2014, p. 74
- Print publication:
- March 1955
-
- Article
- Export citation
Alonzo Church. The calculi of lambda-conversion. Annals of Mathematics studies, no. 6. Second printing. Lithoprinted. Princeton University Press, Princeton1951, 82 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 17 / Issue 1 / March 1952
- Published online by Cambridge University Press:
- 12 March 2014, p. 76
- Print publication:
- March 1952
-
- Article
- Export citation
Haskell B. Curry. A simplification of the theory of combinators. Synthese, vol. 7 (1948–1949), pp. 391–399.
-
- Journal:
- The Journal of Symbolic Logic / Volume 17 / Issue 1 / March 1952
- Published online by Cambridge University Press:
- 12 March 2014, p. 76
- Print publication:
- March 1952
-
- Article
- Export citation
Rózsa Peter. Zum Begriff der rekursiven reellen Zahl. Acta scientiarum mathematicarum, vol. 12 part A (1950), pp. 239–245.
-
- Journal:
- The Journal of Symbolic Logic / Volume 16 / Issue 3 / September 1951
- Published online by Cambridge University Press:
- 12 March 2014, p. 216
- Print publication:
- September 1951
-
- Article
- Export citation
Frederic B. Fitch. A further consistent extension of basic logic, The journal of symbolic logic. vol. 14 (1949), pp. 209–218.
-
- Journal:
- The Journal of Symbolic Logic / Volume 15 / Issue 3 / September 1950
- Published online by Cambridge University Press:
- 12 March 2014, pp. 219-220
- Print publication:
- September 1950
-
- Article
- Export citation
Frederic B. Fitch. The Heine-Borel theorem in extended basic logic. The journal of symbolic logic, vol. 14 (1949), pp. 9–15.
-
- Journal:
- The Journal of Symbolic Logic / Volume 15 / Issue 2 / June 1950
- Published online by Cambridge University Press:
- 12 March 2014, p. 137
- Print publication:
- June 1950
-
- Article
- Export citation
Frederic B. Fitch. An extension of basic logic.The journal of symbolic logic, vol. 13 (1948), pp. 95–106.
-
- Journal:
- The Journal of Symbolic Logic / Volume 14 / Issue 1 / 16 May 1949
- Published online by Cambridge University Press:
- 12 March 2014, pp. 68-69
- Print publication:
- 16 May 1949
-
- Article
- Export citation
K. R. Popper. On the theory of deduction, Part I. Derivation and its generalizations. Koninklijke Nederlandsche Akademie van Wetenschappen, Proceedings of the section of sciences, vol. 51 (1948), pp. 173–183; also Indagationes mathematicae, vol. 10 (1948), pp. 44–54. - K. R. Popper. On the theory of deduction, Part II. The definitions of classical and intuitionist negation. Koninklijke Nederlandsche Akademie van Wetenschappen, Proceedings of the section of sciences, vol. 51 (1948), pp. 322–331; also ibid., pp. 111–120. - K. R. Popper. The trivialization of mathematical logic. Library of the Xlh International Congress of Philosophy (Amsterdam, August 11–18, 1948). Vol. I. Proceedings of the Congress. Preprint 1948, pp. 510–515.
-
- Journal:
- The Journal of Symbolic Logic / Volume 14 / Issue 1 / 16 May 1949
- Published online by Cambridge University Press:
- 12 March 2014, pp. 62-63
- Print publication:
- 16 May 1949
-
- Article
- Export citation
E. W. Beth. Semantical considerations on intuitionistic mathematics. Koninklijke Nederlandsche Akademie van Wetenschappen, Proceedings of the section of sciences, vol. 50 (1947), pp. 1246–1251, and ibid., pp. 572–577.
-
- Journal:
- The Journal of Symbolic Logic / Volume 13 / Issue 3 / December 1948
- Published online by Cambridge University Press:
- 12 March 2014, p. 173
- Print publication:
- December 1948
-
- Article
- Export citation
K. R. Popper. Functional logic without axioms or primitive rules of inference. Koninklijke Nederlandsche Akademie van Wetenschappen, Proceedings of the section of sciences, vol. 50 (1947), pp. 1214–1224, and ibid., pp. 561–571.
-
- Journal:
- The Journal of Symbolic Logic / Volume 13 / Issue 3 / December 1948
- Published online by Cambridge University Press:
- 12 March 2014, pp. 173-174
- Print publication:
- December 1948
-
- Article
- Export citation
Reviews - Kurt Gödel. What is Cantor's continuum problem?The American mathematical monthly, vol. 54 (1947), pp. 515–525.
-
- Journal:
- The Journal of Symbolic Logic / Volume 13 / Issue 2 / June 1948
- Published online by Cambridge University Press:
- 12 March 2014, pp. 116-117
- Print publication:
- June 1948
-
- Article
- Export citation
Emil L. Post. Recursive unsolvability of a problem of Thue. The journal of symbolic logic, vol. 12 (1947), pp. 1–11.
-
- Journal:
- The Journal of Symbolic Logic / Volume 12 / Issue 3 / September 1947
- Published online by Cambridge University Press:
- 12 March 2014, pp. 90-91
- Print publication:
- September 1947
-
- Article
- Export citation
Emil L. Post. Note on a conjecture of Skolem. The journal of symbolic logic, vol. 11 (1946), pp. 73–74.
-
- Journal:
- The Journal of Symbolic Logic / Volume 12 / Issue 1 / March 1947
- Published online by Cambridge University Press:
- 12 March 2014, p. 28
- Print publication:
- March 1947
-
- Article
- Export citation
Robert Feys. La technique de la logique combinatoire. Revue philosophique de Louvain (fondée en 1894 sous le titre de “Revue Néo-scolastique”), vol. 44 (ser. 3 no. 1) (1946), pp. 74–103, and vol. 44 (ser. 3 no. 2) (1946), pp. 237–270.
-
- Journal:
- The Journal of Symbolic Logic / Volume 12 / Issue 1 / March 1947
- Published online by Cambridge University Press:
- 12 March 2014, pp. 27-28
- Print publication:
- March 1947
-
- Article
- Export citation
On the interpretation of intuitionistic number theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 10 / Issue 4 / December 1945
- Published online by Cambridge University Press:
- 12 March 2014, pp. 109-124
- Print publication:
- December 1945
-
- Article
- Export citation
Arthur H. Copeland. Postulates for the theory of probability. American journal of mathematics, vol. 63 (1941), pp. 741–762.
-
- Journal:
- The Journal of Symbolic Logic / Volume 7 / Issue 1 / 24 March 1942
- Published online by Cambridge University Press:
- 12 March 2014, p. 41
- Print publication:
- 24 March 1942
-
- Article
- Export citation